1. Computer algebra and geometric algebra with applications : 6th International Workshop, IWMM 2004, Shanghai, China, May 19-21, 2004 and International Workshop, GIAE 2004, Xian, China, May 24-28, 2004 : revised selected papers
پدیدآورنده : Hongbo Li, Peter J. Olver, Gerald Sommer )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Data processing -- Congresses ، Algebra,Congresses ، Computer algorithms,Congresses ، Geometry, Algebraic
رده :
QA
76
.
L28
Vol
.
3519
2. Computer algebra in industry 2
پدیدآورنده :
موضوع : Engineering mathematics- Data processing- Congresses,Algebra- Data processing- Congresses
۲ نسخه از این کتاب در ۱ کتابخانه موجود است.
3. Computer algebra in industry 2 : problem solving in practice
پدیدآورنده : edited by Arjeh M. Cohen, Leendert van Gastel, and Sjoerd Verduyn Lunel
موضوع : Engineering mathematics - Data processing - Congresses,Algebra - Data processing - Congresses
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
4. Computer algebra in industry : problem solving in practice : proceedings of the 1991 SCAFI Seminar at CWI, Amsterdam
پدیدآورنده : SCAFI Seminar, )1991, Centrum voor Wiskunde en Informatica, Amsterdam, Netherlands(
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Data processing - Congresses ، Engineering mathematics
رده :
TA
345
.
S32
1991
5. Computer algebra in industry : problem solving in practice : proceedings of the 1991 SCAFI Seminar at CWI, Amsterdam
پدیدآورنده : edited by Arjeh M. Cohen
موضوع : Engineering mathematics - Data processing - Congresses
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
6. Computer mathematics :
پدیدآورنده : editors, Kiyoshi Shirayanagi, Kazuhiro Yokoyama.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science-- Mathematics, Congresses.,Computer science, Congresses.,Computer science-- Mathematics.,Computer science.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.
رده :
QA76
.
9
.
M35
A83
2001eb
7. Exploring the early digital /
پدیدآورنده : Thomas Haigh, editor.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer systems-- History, Congresses.,Computers, Congresses.,Computer systems.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Computers.
رده :
QA75
.
5
.
E96
2019
8. Maple V:
پدیدآورنده : Robert J. Lopez, editor.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computerwiskunde.,Maple V.,Mathematics -- Congresses -- Data processing.
9. Maple V:
پدیدآورنده : Robert J. Lopez, editor.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computerwiskunde.,Maple V.,Mathematics -- Congresses -- Data processing.
10. Relational and algebraic methods in computer science. 12th international conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 - June 3, 2011. proceedings
پدیدآورنده : ]edited by[ Harrie de Swart
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع : ، Software engineering,، Logic design,، Algebra -- Data processing,، Computer simulation,، Mathematical Logic and Formal Languages,، Symbolic and Algebraic Manipulation,، Logics and Meanings of Programs,، Simulation and Modeling,، Artificial Intelligence )incl. Robotics(,، Computer science -- Mathematics -- Congresses,، lgebraic logic -- Congresses,، Relation algebras -- Congresses,، RAMICS
رده :
QA
76
.
9
.
R36
2011
11. Symbolic computation : solving equations in algebra, geometry, and engineering : proceedings of an AMS-IMS-SIAM Joint Summer Research Conference on Symbolic Computation : Solving Equations in Algebra, Geometry, and Engineering, Mount Holyoke College, South Hadley, MA, June 11-15, 2000
پدیدآورنده : Edward L. Green ... ]et al.[, editors
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Data processing -- Congresses ، Algebra,Data processing -- Congresses ، Equations -- Numerical solutions
رده :
QA
155
.
7
.
E4A488
2000
